[INFO] fetching crate cargo-anneal 0.1.0-alpha.23...
[INFO] testing cargo-anneal-0.1.0-alpha.23 against try#28f95933dc0727396c07b48d0a8cb5211b7fb472 for pr-154065-2
[INFO] extracting crate cargo-anneal 0.1.0-alpha.23 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate cargo-anneal 0.1.0-alpha.23
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate cargo-anneal 0.1.0-alpha.23
[INFO] tweaked toml for crates.io crate cargo-anneal 0.1.0-alpha.23 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate cargo-anneal 0.1.0-alpha.23 on toolchain 28f95933dc0727396c07b48d0a8cb5211b7fb472
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate cargo-anneal 0.1.0-alpha.23 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 95da4338f11cc7f8a267e40b532a2d77762379ad01ac83f6e66079d7e9af22d0
[INFO] running `Command { std: "docker" "start" "-a" "95da4338f11cc7f8a267e40b532a2d77762379ad01ac83f6e66079d7e9af22d0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "95da4338f11cc7f8a267e40b532a2d77762379ad01ac83f6e66079d7e9af22d0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95da4338f11cc7f8a267e40b532a2d77762379ad01ac83f6e66079d7e9af22d0", kill_on_drop: false }`
[INFO] [stdout] 95da4338f11cc7f8a267e40b532a2d77762379ad01ac83f6e66079d7e9af22d0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f13cb3c842d840b0af2d0e328032d698d96a0fb58d273e5b658312b82a83c767
[INFO] running `Command { std: "docker" "start" "-a" "f13cb3c842d840b0af2d0e328032d698d96a0fb58d273e5b658312b82a83c767", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.184
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling cc v1.2.59
[INFO] [stderr]    Compiling indexmap v2.13.1
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling openssl v0.10.76
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling rustls v0.23.37
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling camino v1.2.2
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling gimli v0.32.3
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling rustc-demangle v0.1.27
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling owo-colors v4.3.0
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling webpki-roots v1.0.6
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling cargo-platform v0.3.2
[INFO] [stderr]    Compiling openssl-sys v0.9.112
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling iri-string v0.7.12
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]    Compiling native-tls v0.2.18
[INFO] [stderr]    Compiling is_ci v1.2.0
[INFO] [stderr]    Compiling supports-color v3.0.2
[INFO] [stderr]    Compiling textwrap v0.16.2
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling xattr v1.6.1
[INFO] [stderr]    Compiling tokio v1.51.0
[INFO] [stderr]    Compiling terminal_size v0.4.4
[INFO] [stderr]    Compiling console v0.16.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling filetime v0.2.27
[INFO] [stderr]    Compiling dirs-sys v0.5.0
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling supports-hyperlinks v3.2.0
[INFO] [stderr]    Compiling unicode-segmentation v1.13.2
[INFO] [stderr]    Compiling supports-unicode v3.0.0
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling unit-prefix v0.5.2
[INFO] [stderr]    Compiling jiff v0.2.23
[INFO] [stderr]    Compiling indicatif v0.18.4
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling dirs v6.0.0
[INFO] [stderr]    Compiling tar v0.4.45
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling fs2 v0.4.3
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling env_filter v1.0.1
[INFO] [stderr]    Compiling backtrace-ext v0.2.1
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling zerofrom-derive v0.1.7
[INFO] [stderr]    Compiling yoke-derive v0.8.2
[INFO] [stderr]    Compiling zerovec-derive v0.11.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]    Compiling rustls-webpki v0.103.10
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling clap_derive v4.6.0
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]    Compiling zerofrom v0.1.7
[INFO] [stderr]    Compiling yoke v0.8.2
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling cargo-anneal v0.1.0-alpha.23 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling tower-http v0.6.8
[INFO] [stderr]    Compiling h2 v0.4.13
[INFO] [stderr]    Compiling env_logger v0.11.10
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling cargo_metadata v0.23.1
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling tokio-native-tls v0.3.1
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling clap-cargo v0.18.3
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling hyper v1.9.0
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-tls v0.6.0
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stdout] warning: use of deprecated method `tempfile::TempDir::into_path`: use TempDir::keep()
[INFO] [stdout]     --> src/setup.rs:1052:29
[INFO] [stdout]      |
[INFO] [stdout] 1052 |     let tmp_path = temp_dir.into_path();
[INFO] [stdout]      |                             ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `toolchain`
[INFO] [stdout]    --> src/setup.rs:579:25
[INFO] [stdout]     |
[INFO] [stdout] 579 | fn setup_rust_toolchain(toolchain: &Toolchain, platform: Platform, tmp_root: &Path) -> Result<()> {
[INFO] [stdout]     |                         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_toolchain`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `CharonDriver` is never constructed
[INFO] [stdout]   --> src/setup.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub enum Tool {
[INFO] [stdout]    |          ---- variant in this enum
[INFO] [stdout] 60 |     Charon,
[INFO] [stdout] 61 |     CharonDriver,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Tool` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `calculate_file_hash` is never used
[INFO] [stdout]    --> src/setup.rs:348:4
[INFO] [stdout]     |
[INFO] [stdout] 348 | fn calculate_file_hash(path: &Path) -> Result<[u8; 32]> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AENEAS_TOOLS` is never used
[INFO] [stdout]    --> src/setup.rs:441:7
[INFO] [stdout]     |
[INFO] [stdout] 441 | const AENEAS_TOOLS: &[Tool] = &[Tool::Aeneas, Tool::Charon, Tool::CharonDriver];
[INFO] [stdout]     |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RUST_TOOLS` is never used
[INFO] [stdout]    --> src/setup.rs:442:7
[INFO] [stdout]     |
[INFO] [stdout] 442 | const RUST_TOOLS: &[Tool] =
[INFO] [stdout]     |       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `read_manifest_revs` is never used
[INFO] [stdout]    --> src/setup.rs:512:4
[INFO] [stdout]     |
[INFO] [stdout] 512 | fn read_manifest_revs(manifest_path: &Path) -> Result<std::collections::HashMap<String, String>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `update_manifest_urls` is never used
[INFO] [stdout]    --> src/setup.rs:542:4
[INFO] [stdout]     |
[INFO] [stdout] 542 | fn update_manifest_urls(manifest_path: &Path, base_path: &Path) -> Result<()> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 30s
[INFO] running `Command { std: "docker" "inspect" "f13cb3c842d840b0af2d0e328032d698d96a0fb58d273e5b658312b82a83c767", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f13cb3c842d840b0af2d0e328032d698d96a0fb58d273e5b658312b82a83c767", kill_on_drop: false }`
[INFO] [stdout] f13cb3c842d840b0af2d0e328032d698d96a0fb58d273e5b658312b82a83c767
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] aae034f536b602b91701c7b0f9e47833de96c1401078ae91c28804b433722b36
[INFO] running `Command { std: "docker" "start" "-a" "aae034f536b602b91701c7b0f9e47833de96c1401078ae91c28804b433722b36", kill_on_drop: false }`
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling color-spantrace v0.3.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling eyre v0.6.12
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling predicates-core v1.0.10
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling cargo-platform v0.1.9
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling assert_cmd v2.2.0
[INFO] [stderr]    Compiling escape8259 v0.5.3
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling annotate-snippets v0.11.5
[INFO] [stderr]    Compiling h2 v0.4.13
[INFO] [stderr]    Compiling libtest-mimic v0.8.2
[INFO] [stderr]    Compiling prettydiff v0.9.0
[INFO] [stderr]    Compiling predicates-tree v1.0.13
[INFO] [stderr]    Compiling vte v0.14.1
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling colored v3.1.1
[INFO] [stderr]    Compiling comma v1.0.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling strip-ansi-escapes v0.2.1
[INFO] [stderr]    Compiling tracing-error v0.2.1
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling cargo_metadata v0.18.1
[INFO] [stderr]    Compiling rustfix v0.8.7
[INFO] [stderr]    Compiling color-eyre v0.6.5
[INFO] [stderr]    Compiling hyper v1.9.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling bstr v1.12.1
[INFO] [stderr]    Compiling fancy-regex v0.14.0
[INFO] [stderr]    Compiling env_filter v1.0.1
[INFO] [stderr]    Compiling predicates v3.1.4
[INFO] [stderr]    Compiling env_logger v0.11.10
[INFO] [stderr]    Compiling datatest-stable v0.3.3
[INFO] [stderr]    Compiling spanned v0.4.1
[INFO] [stderr]    Compiling ui_test v0.30.4
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling hyper-tls v0.6.0
[INFO] [stderr]    Compiling hyper-rustls v0.27.7
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling cargo-anneal v0.1.0-alpha.23 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> examples/positive_usize.rs:28:29
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub unsafe fn unchecked_div(a: usize, b: usize) -> usize {
[INFO] [stdout]    |                             ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> examples/positive_usize.rs:28:39
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub unsafe fn unchecked_div(a: usize, b: usize) -> usize {
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `div_positive` is never used
[INFO] [stdout]   --> examples/positive_usize.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn div_positive(self_val: usize, rhs: PositiveUsize) -> usize {
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `cmp`, `thread`, and `time::Duration`
[INFO] [stdout]  --> tests/integration.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 |     cmp, fs, io,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] ...
[INFO] [stdout] 7 |     thread,
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout] 8 |     time::Duration,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `fs2::FileExt`
[INFO] [stdout]   --> tests/integration.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use fs2::FileExt;
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `toolchain_path`
[INFO] [stdout]    --> tests/integration.rs:254:13
[INFO] [stdout]     |
[INFO] [stdout] 254 |         let toolchain_path = get_toolchain_path();
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_toolchain_path`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `test_config` is never read
[INFO] [stdout]    --> tests/integration.rs:241:5
[INFO] [stdout]     |
[INFO] [stdout] 236 | struct TestContext {
[INFO] [stdout]     |        ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 241 |     test_config: TestConfig,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `tempfile::TempDir::into_path`: use TempDir::keep()
[INFO] [stdout]     --> src/setup.rs:1052:29
[INFO] [stdout]      |
[INFO] [stdout] 1052 |     let tmp_path = temp_dir.into_path();
[INFO] [stdout]      |                             ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `toolchain`
[INFO] [stdout]    --> src/setup.rs:579:25
[INFO] [stdout]     |
[INFO] [stdout] 579 | fn setup_rust_toolchain(toolchain: &Toolchain, platform: Platform, tmp_root: &Path) -> Result<()> {
[INFO] [stdout]     |                         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_toolchain`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated method `tempfile::TempDir::into_path`: use TempDir::keep()
[INFO] [stdout]     --> src/setup.rs:1052:29
[INFO] [stdout]      |
[INFO] [stdout] 1052 |     let tmp_path = temp_dir.into_path();
[INFO] [stdout]      |                             ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `CharonDriver` is never constructed
[INFO] [stdout]   --> src/setup.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub enum Tool {
[INFO] [stdout]    |          ---- variant in this enum
[INFO] [stdout] 60 |     Charon,
[INFO] [stdout] 61 |     CharonDriver,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Tool` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `calculate_file_hash` is never used
[INFO] [stdout]    --> src/setup.rs:348:4
[INFO] [stdout]     |
[INFO] [stdout] 348 | fn calculate_file_hash(path: &Path) -> Result<[u8; 32]> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AENEAS_TOOLS` is never used
[INFO] [stdout]    --> src/setup.rs:441:7
[INFO] [stdout]     |
[INFO] [stdout] 441 | const AENEAS_TOOLS: &[Tool] = &[Tool::Aeneas, Tool::Charon, Tool::CharonDriver];
[INFO] [stdout]     |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RUST_TOOLS` is never used
[INFO] [stdout]    --> src/setup.rs:442:7
[INFO] [stdout]     |
[INFO] [stdout] 442 | const RUST_TOOLS: &[Tool] =
[INFO] [stdout]     |       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `read_manifest_revs` is never used
[INFO] [stdout]    --> src/setup.rs:512:4
[INFO] [stdout]     |
[INFO] [stdout] 512 | fn read_manifest_revs(manifest_path: &Path) -> Result<std::collections::HashMap<String, String>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `update_manifest_urls` is never used
[INFO] [stdout]    --> src/setup.rs:542:4
[INFO] [stdout]     |
[INFO] [stdout] 542 | fn update_manifest_urls(manifest_path: &Path, base_path: &Path) -> Result<()> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `toolchain`
[INFO] [stdout]    --> src/setup.rs:579:25
[INFO] [stdout]     |
[INFO] [stdout] 579 | fn setup_rust_toolchain(toolchain: &Toolchain, platform: Platform, tmp_root: &Path) -> Result<()> {
[INFO] [stdout]     |                         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_toolchain`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `CharonDriver` is never constructed
[INFO] [stdout]   --> src/setup.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub enum Tool {
[INFO] [stdout]    |          ---- variant in this enum
[INFO] [stdout] 60 |     Charon,
[INFO] [stdout] 61 |     CharonDriver,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Tool` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `calculate_file_hash` is never used
[INFO] [stdout]    --> src/setup.rs:348:4
[INFO] [stdout]     |
[INFO] [stdout] 348 | fn calculate_file_hash(path: &Path) -> Result<[u8; 32]> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `AENEAS_TOOLS` is never used
[INFO] [stdout]    --> src/setup.rs:441:7
[INFO] [stdout]     |
[INFO] [stdout] 441 | const AENEAS_TOOLS: &[Tool] = &[Tool::Aeneas, Tool::Charon, Tool::CharonDriver];
[INFO] [stdout]     |       ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `RUST_TOOLS` is never used
[INFO] [stdout]    --> src/setup.rs:442:7
[INFO] [stdout]     |
[INFO] [stdout] 442 | const RUST_TOOLS: &[Tool] =
[INFO] [stdout]     |       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `read_manifest_revs` is never used
[INFO] [stdout]    --> src/setup.rs:512:4
[INFO] [stdout]     |
[INFO] [stdout] 512 | fn read_manifest_revs(manifest_path: &Path) -> Result<std::collections::HashMap<String, String>> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `update_manifest_urls` is never used
[INFO] [stdout]    --> src/setup.rs:542:4
[INFO] [stdout]     |
[INFO] [stdout] 542 | fn update_manifest_urls(manifest_path: &Path, base_path: &Path) -> Result<()> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 41.45s
[INFO] running `Command { std: "docker" "inspect" "aae034f536b602b91701c7b0f9e47833de96c1401078ae91c28804b433722b36", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aae034f536b602b91701c7b0f9e47833de96c1401078ae91c28804b433722b36", kill_on_drop: false }`
[INFO] [stdout] aae034f536b602b91701c7b0f9e47833de96c1401078ae91c28804b433722b36
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ccda3b08c27d349759929d41492ea38aed297f76d60a3f8076570c7672459f35
[INFO] running `Command { std: "docker" "start" "-a" "ccda3b08c27d349759929d41492ea38aed297f76d60a3f8076570c7672459f35", kill_on_drop: false }`
[INFO] [stderr] warning: use of deprecated method `tempfile::TempDir::into_path`: use TempDir::keep()
[INFO] [stderr]     --> src/setup.rs:1052:29
[INFO] [stderr]      |
[INFO] [stderr] 1052 |     let tmp_path = temp_dir.into_path();
[INFO] [stderr]      |                             ^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `toolchain`
[INFO] [stderr]    --> src/setup.rs:579:25
[INFO] [stderr]     |
[INFO] [stderr] 579 | fn setup_rust_toolchain(toolchain: &Toolchain, platform: Platform, tmp_root: &Path) -> Result<()> {
[INFO] [stderr]     |                         ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_toolchain`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant `CharonDriver` is never constructed
[INFO] [stderr]   --> src/setup.rs:61:5
[INFO] [stderr]    |
[INFO] [stderr] 59 | pub enum Tool {
[INFO] [stderr]    |          ---- variant in this enum
[INFO] [stderr] 60 |     Charon,
[INFO] [stderr] 61 |     CharonDriver,
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Tool` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `calculate_file_hash` is never used
[INFO] [stderr]    --> src/setup.rs:348:4
[INFO] [stderr]     |
[INFO] [stderr] 348 | fn calculate_file_hash(path: &Path) -> Result<[u8; 32]> {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `AENEAS_TOOLS` is never used
[INFO] [stderr]    --> src/setup.rs:441:7
[INFO] [stderr]     |
[INFO] [stderr] 441 | const AENEAS_TOOLS: &[Tool] = &[Tool::Aeneas, Tool::Charon, Tool::CharonDriver];
[INFO] [stderr]     |       ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `RUST_TOOLS` is never used
[INFO] [stderr]    --> src/setup.rs:442:7
[INFO] [stderr]     |
[INFO] [stderr] 442 | const RUST_TOOLS: &[Tool] =
[INFO] [stderr]     |       ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `read_manifest_revs` is never used
[INFO] [stderr]    --> src/setup.rs:512:4
[INFO] [stderr]     |
[INFO] [stderr] 512 | fn read_manifest_revs(manifest_path: &Path) -> Result<std::collections::HashMap<String, String>> {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `update_manifest_urls` is never used
[INFO] [stderr]    --> src/setup.rs:542:4
[INFO] [stderr]     |
[INFO] [stderr] 542 | fn update_manifest_urls(manifest_path: &Path, base_path: &Path) -> Result<()> {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `cargo-anneal` (bin "cargo-anneal") generated 8 warnings (run `cargo fix --bin "cargo-anneal" -p cargo-anneal` to apply 1 suggestion)
[INFO] [stderr] warning: unused imports: `cmp`, `thread`, and `time::Duration`
[INFO] [stderr]  --> tests/integration.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 |     cmp, fs, io,
[INFO] [stderr]   |     ^^^
[INFO] [stderr] ...
[INFO] [stderr] 7 |     thread,
[INFO] [stderr]   |     ^^^^^^
[INFO] [stderr] 8 |     time::Duration,
[INFO] [stderr]   |     ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `fs2::FileExt`
[INFO] [stderr]   --> tests/integration.rs:11:5
[INFO] [stderr]    |
[INFO] [stderr] 11 | use fs2::FileExt;
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `toolchain_path`
[INFO] [stderr]    --> tests/integration.rs:254:13
[INFO] [stderr]     |
[INFO] [stderr] 254 |         let toolchain_path = get_toolchain_path();
[INFO] [stderr]     |             ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_toolchain_path`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `test_config` is never read
[INFO] [stderr]    --> tests/integration.rs:241:5
[INFO] [stderr]     |
[INFO] [stderr] 236 | struct TestContext {
[INFO] [stderr]     |        ----------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 241 |     test_config: TestConfig,
[INFO] [stderr]     |     ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `cargo-anneal` (test "integration") generated 4 warnings (run `cargo fix --test "integration" -p cargo-anneal` to apply 3 suggestions)
[INFO] [stderr] warning: `cargo-anneal` (bin "cargo-anneal" test) generated 8 warnings (8 duplicates)
[INFO] [stderr] warning: unused variable: `a`
[INFO] [stderr]   --> examples/positive_usize.rs:28:29
[INFO] [stderr]    |
[INFO] [stderr] 28 | pub unsafe fn unchecked_div(a: usize, b: usize) -> usize {
[INFO] [stderr]    |                             ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `b`
[INFO] [stderr]   --> examples/positive_usize.rs:28:39
[INFO] [stderr]    |
[INFO] [stderr] 28 | pub unsafe fn unchecked_div(a: usize, b: usize) -> usize {
[INFO] [stderr]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stderr] 
[INFO] [stderr] warning: function `div_positive` is never used
[INFO] [stderr]   --> examples/positive_usize.rs:44:4
[INFO] [stderr]    |
[INFO] [stderr] 44 | fn div_positive(self_val: usize, rhs: PositiveUsize) -> usize {
[INFO] [stderr]    |    ^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `cargo-anneal` (example "positive_usize") generated 3 warnings (run `cargo fix --example "positive_usize" -p cargo-anneal` to apply 2 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.51s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/cargo_anneal-69601e2f4880b914)
[INFO] [stdout] 
[INFO] [stdout] running 236 tests
[INFO] [stdout] test aeneas::tests::test_resolve_mapping_cross_function_reordering ... ok
[INFO] [stdout] test aeneas::tests::test_resolve_mapping_cross_function_success ... ok
[INFO] [stdout] test aeneas::tests::test_resolve_mapping_cross_file_failure ... ok
[INFO] [stdout] test aeneas::tests::test_resolve_mapping_partial_overlap ... ok
[INFO] [stdout] test aeneas::tests::test_patch_discriminants ... ok
[INFO] [stdout] test generate::tests::test_gen_auto_param_is_valid ... ok
[INFO] [stdout] test generate::tests::test_gen_args_return_no_mut ... ok
[INFO] [stdout] test generate::tests::test_gen_args_no_mut_no_return ... ok
[INFO] [stdout] test generate::tests::test_gen_auto_param_requires_user_bound ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_destructure_no_args_but_requires ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_destructure_multiple_named_preconditions ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_destructure_mixed_named_unnamed_preconditions ... ok
[INFO] [stdout] test generate::tests::test_gen_context_injection ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_empty_pre_struct ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_empty_post_with_anon_ignored ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_explicit_is_valid_proof ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_missing_proof_fallback ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_mixed_some_proofs_missing ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_named_ensures ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_multiple_named_proofs ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_proof_context_injection ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_unnamed_proof_mapping ... ok
[INFO] [stdout] test generate::tests::test_gen_edge_case_named_requires ... ok
[INFO] [stdout] test generate::tests::test_gen_method_receiver ... ok
[INFO] [stdout] test generate::tests::test_gen_multiple_args ... ok
[INFO] [stdout] test generate::tests::test_gen_impl_tuple ... ok
[INFO] [stdout] test generate::tests::test_gen_mut_ref_unit_return ... ok
[INFO] [stdout] test generate::tests::test_gen_impl_generic_lifetimes ... ok
[INFO] [stdout] test generate::tests::test_gen_multiple_mut_refs ... ok
[INFO] [stdout] test generate::tests::test_gen_empty_spec ... ok
[INFO] [stdout] test diagnostics::tests::test_map_path_traversal ... ok
[INFO] [stdout] test generate::tests::test_gen_multiline_requires ... ok
[INFO] [stdout] test generate::tests::test_gen_mixed_mut_and_owned_args ... ok
[INFO] [stdout] test generate::tests::test_gen_mut_args_no_return ... ok
[INFO] [stdout] test generate::tests::test_gen_explicit_unit_return ... ok
[INFO] [stdout] test generate::tests::test_gen_impl_type_alias ... ok
[INFO] [stdout] test generate::tests::test_gen_no_args_no_return ... ok
[INFO] [stdout] test generate::tests::test_gen_owned_mut_self_is_not_output ... ok
[INFO] [stdout] test generate::tests::test_gen_no_args_return ... ok
[INFO] [stdout] test generate::tests::test_gen_mut_self ... ok
[INFO] [stdout] test generate::tests::test_gen_requires_ordering ... ok
[INFO] [stdout] test generate::tests::test_gen_mut_ref_value_return ... ok
[INFO] [stdout] test generate::tests::test_gen_struct_simple ... ok
[INFO] [stdout] test generate::tests::test_gen_rintro_unit_return_one_mut_arg ... ok
[INFO] [stdout] test generate::tests::test_gen_struct_with_where_clause ... ok
[INFO] [stdout] test generate::tests::test_gen_trait_const_generic ... ok
[INFO] [stdout] test generate::tests::test_gen_rintro_value_return_no_mut_args ... ok
[INFO] [stdout] test generate::tests::test_gen_slice_and_array_types ... ok
[INFO] [stdout] test generate::tests::test_gen_trait_generic ... ok
[INFO] [stdout] test generate::tests::test_gen_trait_simple ... ok
[INFO] [stdout] test generate::tests::test_gen_struct_const_generic ... ok
[INFO] [stdout] test generate::tests::test_gen_struct_mixed_generics_ordering ... ok
[INFO] [stdout] test generate::tests::test_gen_rintro_unit_return_no_mut_args ... ok
[INFO] [stdout] test generate::tests::test_gen_rintro_value_return_two_mut_args ... ok
[INFO] [stdout] test generate::tests::test_generate_artifact_namespace ... ok
[INFO] [stdout] test generate::tests::test_gen_unsafe_axiom ... ok
[INFO] [stdout] test generate::tests::test_gen_struct_with_inline_bounds ... ok
[INFO] [stdout] test generate::tests::test_gen_rintro_unit_return_two_mut_args ... ok
[INFO] [stdout] test generate::tests::test_map_complex_paths ... ok
[INFO] [stdout] test generate::tests::test_pathing_naming_context ... ok
[INFO] [stdout] test generate::tests::test_map_tuples ... ok
[INFO] [stdout] test generate::tests::test_map_primitives ... ok
[INFO] [stdout] test generate::tests::test_gen_rintro_value_return_one_mut_arg ... ok
[INFO] [stdout] test generate::tests::test_map_references ... ok
[INFO] [stdout] test generate::tests::test_map_generics ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_argument_name_collisions ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_indentation_drift ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_keywords_as_content_wrapped ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_named_requires_ensures ... ok
[INFO] [stdout] test generate::tests::test_trait_bound_with_generics ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_empty_clauses ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_comment_before_keyword_fails ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_complex_lean_expressions ... ok
[INFO] [stdout] test generate::tests::test_trait_bounds_exhaustive ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_context_inline_args ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_crlf_lines ... ok
[INFO] [stdout] test generate::tests::test_implicit_proof_no_keyword_mapping ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_case_sensitive_context ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_delayed_context ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_named_requires_malformed ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_proof_context_whitespace ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_proof_context_vs_cases ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_edge_unicode_indentation ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_keyword_prefix_safety ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_leading_whitespace_ignored ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_interleaved_attributes ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_missing_definition_syntax ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_mixed_tabs_spaces_indentation ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_multiple_context_sections ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_multiple_sections_concatenation ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_nested_fences_failure ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_nested_code_blocks ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_nested_code_blocks_in_comments ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_typo_safety ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_trait_rejects_function_keywords ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_double_parens ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_is_safe_named ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_lean_keyword_ensures ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_keyword_smashing ... ok
[INFO] [stdout] test parse::attr::tests::edge_cases::test_keyword_collision_error ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_parens_in_name ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_requires_multiline_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_valid_keyword_with_trailing_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_bizarre_keep_keyword_interaction ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_bizarre_multiple_colons ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_bizarre_requires_no_space_before_paren ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_emoji_name ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_context_named ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_lean_keyword_proof ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_multiple_parens ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_offside_spoofing ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_dusty_proof_context_with_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_dusty_proof_extra_closing_parens ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_proof_context_named_no_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_dusty_inner_colons ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_bizarre_proof_with_unusual_unicode ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_bizarre_proof_no_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_double_colon_requires ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_bizarre_requires_only_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_empty_name ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_lean_keyword_requires ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_dusty_spaced_name ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_adversarial_newline_in_signature ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_parse_name_extraction_spacing ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_invalid_lean_identifier_starts_with_number ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_invalid_lean_identifier_symbols ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_parse_colon_without_name ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_parse_name_without_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_parse_nested_parens ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_parse_name_extraction ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_parse_unmatched_parens ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_proof_colon_stripping ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_unnamed_missing_parens_colon ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_unsupported_named_is_valid ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_underscore_name ... ok
[INFO] [stdout] test parse::attr::tests::named_bounds_edge_cases::test_unsupported_named_proof_context ... ok
[INFO] [stdout] test parse::attr::tests::static_validation::test_conflict_between_requires_and_ensures ... ok
[INFO] [stdout] test parse::attr::tests::static_validation::test_multiple_unnamed_requires_allowed ... ok
[INFO] [stdout] test parse::attr::tests::static_validation::test_multiple_proofs_mixed_allowed ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_arguments_vs_continuation ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_context_only ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_empty ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_implicit_context_fails ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_inline_arg ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_interleaved_sections ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_invalid_indent ... ok
[INFO] [stdout] test parse::attr::tests::static_validation::test_duplicate_requires_name ... ok
[INFO] [stdout] test parse::attr::tests::static_validation::test_mix_named_unnamed_ensures_allowed ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_multiple_clauses ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_multiple_same_section ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_multiple_sections ... ok
[INFO] [stdout] test parse::attr::tests::static_validation::test_missing_colon_rejections_exhaustive ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_requires ... ok
[INFO] [stdout] test parse::attr::tests::test_empty_section_is_present ... ok
[INFO] [stdout] test parse::attr::tests::test_extract_doc_line_offsets ... ok
[INFO] [stdout] test parse::attr::tests::test_function_rejects_invariants ... ok
[INFO] [stdout] test parse::attr::tests::test_is_safe_extra_whitespace ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_empty_is_safe_on_safe_trait_errors ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_empty_requires_on_safe_fn_errors ... ok
[INFO] [stdout] test parse::attr::tests::test_is_valid_newline_after_keyword ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_ensures_only_on_safe_fn_succeeds ... ok
[INFO] [stdout] test parse::attr::tests::test_anneal_spec_body_parse_strict_keywords ... ok
[INFO] [stdout] test parse::attr::tests::test_extract_doc_line ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_from_attrs_interrupted ... ok
[INFO] [stdout] test parse::attr::tests::test_extract_doc_line_edge_cases ... ok
[INFO] [stdout] test parse::attr::tests::test_multiline_block_comment ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_anneal_info_string ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_from_attrs_multiple_blocks ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_from_attrs_unclosed ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_is_safe_on_safe_trait_errors ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_from_attrs_not_anneal ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_multiple_is_safe_on_safe_trait_errors ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_err_typo_keyword ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_requires_on_safe_fn_errors ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_blank_lines ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_valid_apostrophe_name ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_requires_on_unsafe_fn_succeeds ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_valid_indentation ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_inline_args_valid ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_from_attrs_valid_spec ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_multiple_requires_on_safe_fn_errors ... ok
[INFO] [stdout] test parse::attr::tests::test_trait_block_valid ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_header_no_indent_rules ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_err_under_indented_continuation ... ok
[INFO] [stdout] test parse::attr::tests::test_trait_rejects_is_valid ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_from_attrs_valid_axiom ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_is_safe_on_unsafe_trait_succeeds ... ok
[INFO] [stdout] test parse::attr::tests::test_trait_block_missing_is_safe ... ok
[INFO] [stdout] test parse::attr::tests::test_type_block_missing_is_valid ... ok
[INFO] [stdout] test parse::attr::tests::test_type_block_valid ... ok
[INFO] [stdout] test parse::attr::tests::test_type_rejects_function_clauses ... ok
[INFO] [stdout] test parse::attr::tests::test_reject_section_points_to_keyword ... ok
[INFO] [stdout] test parse::attr::tests::test_parse_spec_err_missing_colon_named_bound ... ok
[INFO] [stdout] test parse::hkd::tests::test_mirror_array_len ... ok
[INFO] [stdout] test parse::hkd::tests::test_mirror_complex_never ... ok
[INFO] [stdout] test parse::attr::tests::test_type_rejects_is_safe ... ok
[INFO] [stdout] test parse::hkd::tests::test_mirror_const_generics ... ok
[INFO] [stdout] test parse::hkd::tests::test_mirror_never ... ok
[INFO] [stdout] test parse::hkd::tests::test_mirror_qself ... ok
[INFO] [stdout] test parse::tests::test_module_paths ... ok
[INFO] [stdout] test parse::tests::test_parse_lean_block ... ok
[INFO] [stdout] test parse::tests::test_multiple_lean_blocks_error ... ok
[INFO] [stdout] test parse::tests::test_unclosed_lean_block ... ok
[INFO] [stdout] test parse::tests::test_visit_in_file ... ok
[INFO] [stdout] test parse::tests::test_span_multiple_modules_precision ... ok
[INFO] [stdout] test validate::tests::test_anon_ensures_with_anon_proof ... ok
[INFO] [stdout] test validate::tests::test_auto_generated_collision_requires ... ok
[INFO] [stdout] test setup::tests::test_platform_detection ... ok
[INFO] [stdout] test parse::tests::test_foreign_function_scanning ... ok
[INFO] [stdout] test scanner::tests::test_llbc_file_name_collision ... ok
[INFO] [stdout] test validate::tests::test_auto_generated_collision_ret ... ok
[INFO] [stdout] test validate::tests::test_auto_generated_collision_mut_ref ... ok
[INFO] [stdout] test scanner::tests::test_lean_spec_file_name_uses_slug ... ok
[INFO] [stdout] test parse::tests::test_multiple_parsing_failures_output ... ok
[INFO] [stdout] test setup::tests::test_toolchain_resolve ... ok
[INFO] [stdout] test validate::tests::test_all_exhaustive_unnamed_singelton_edge_cases ... ok
[INFO] [stdout] test validate::tests::test_empty_ensures_clause ... ok
[INFO] [stdout] test validate::tests::test_mismatched_proof_name ... ok
[INFO] [stdout] test validate::tests::test_explicit_unnamed_name_valid ... ok
[INFO] [stdout] test validate::tests::test_empty_requires_clause ... ok
[INFO] [stdout] test validate::tests::test_proof_context_without_cases_valid ... ok
[INFO] [stdout] test validate::tests::test_unnamed_ensures_with_named_proof_fails ... ok
[INFO] [stdout] test validate::tests::test_h_progress_reserved ... ok
[INFO] [stdout] test validate::tests::test_zero_ensures_with_anon_proof_allowed ... ok
[INFO] [stdout] test validate::tests::test_valid_function ... ok
[INFO] [stdout] test validate::tests::test_unnamed_proof_without_unnamed_ensure_fails ... ok
[INFO] [stdout] test setup::tests::test_extraction ... ok
[INFO] [stdout] test validate::tests::test_unnamed_proof_without_unnamed_ensure ... ok
[INFO] [stdout] test validate::tests::test_auto_generated_collision_self ... ok
[INFO] [stdout] test validate::tests::test_coverage_named_proofs ... ok
[INFO] [stdout] test validate::tests::test_missing_proof_edge_cases ... ok
[INFO] [stdout] test validate::tests::test_valid_proof_for_auto_injected_bound ... ok
[INFO] [stdout] test validate::tests::test_zero_ensures_no_proof_valid ... ok
[INFO] [stdout] test validate::tests::test_zero_ensures_with_named_proof_fails ... ok
[INFO] [stdout] test setup::tests::test_locking ... ok
[INFO] [stdout] test setup::tests::test_download ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 236 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration.rs (/opt/rustwide/target/debug/deps/integration-c2c54530dd79e0ac)
[INFO] [stdout] 
[INFO] [stdout] running 96 tests
[INFO] [stdout] test run_integration_test::const_block_blind_spot/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::dst_layout/anneal.toml                                      ... FAILED
[INFO] [stdout] test run_integration_test::anneal_multiple_targets/anneal.toml                         ... FAILED
[INFO] [stdout] test run_integration_test::anneal_shim_syntax_error/anneal.toml                        ... FAILED
[INFO] [stdout] test run_integration_test::charon_version_match/anneal.toml                            ... FAILED
[INFO] [stdout] test run_integration_test::diagnostic_mapping/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::collision/anneal.toml                                       ... FAILED
[INFO] [stdout] test run_integration_test::canonicalized_workspace/anneal.toml                         ... FAILED
[INFO] [stdout] test run_integration_test::duplicate_blocks/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::const_generics/anneal.toml                                  ... FAILED
[INFO] [stdout] test run_integration_test::cyclic_paths/anneal.toml                                    ... FAILED
[INFO] [stdout] test run_integration_test::allow_sorry_fallbacks/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_cfg/test_7_1_phantom_fn/anneal.toml              ... FAILED
[INFO] [stdout] test run_integration_test::cfg_blind_spot/anneal.toml                                  ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_invariants/test_4_6_assoc_types/anneal.toml      ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_logic/test_5_4_std_types/anneal.toml             ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_modules/test_6_1_external_crate/anneal.toml      ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_mut_refs/test_3_3_ret_mut/anneal.toml            ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_naming/test_1_2_lean_keywords_args/anneal.toml   ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_naming/test_1_1_lean_keywords_fns/anneal.toml    ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_naming/test_1_3_rust_keywords_idents/anneal.toml ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_stress/test_11_2_monolith/anneal.toml            ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_types/test_2_3_zst/anneal.toml                   ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_types/test_2_6_nested_refs/anneal.toml           ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_types/test_2_7_arrays/anneal.toml                ... FAILED
[INFO] [stdout] test run_integration_test::enums_pattern_matching/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_charon/test_8_2_unions/anneal.toml               ... FAILED
[INFO] [stdout] test run_integration_test::extern_never_verified/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::external_dep_failure/anneal.toml                            ... FAILED
[INFO] [stdout] test run_integration_test::hidden_syntax_error/anneal.toml                             ... FAILED
[INFO] [stdout] test run_integration_test::generate_output/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::fs_missing_source/anneal.toml                               ... FAILED
[INFO] [stdout] test run_integration_test::is_valid_verification/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::idempotency/anneal.toml                                     ... FAILED
[INFO] [stdout] test run_integration_test::json_code_suggestions/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::associated_types/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::map_external_dep/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::map_canonical_mismatch/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::map_macro_expansion/anneal.toml                             ... FAILED
[INFO] [stdout] test run_integration_test::map_mixed_diagnostics/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::lean_generation/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::map_path_traversal/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::broken_doc_block/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::json_nested_children/anneal.toml                            ... FAILED
[INFO] [stdout] test run_integration_test::map_workspace_path_dep/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::map_symlinked_file/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::missing_output/anneal.toml                                  ... FAILED
[INFO] [stdout] test run_integration_test::json_linker_error/anneal.toml                               ... FAILED
[INFO] [stdout] test run_integration_test::mixed_workspace/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_modules/test_6_3_renaming/anneal.toml            ... FAILED
[INFO] [stdout] test run_integration_test::dirty_sandbox/anneal.toml                                   ... ok
[INFO] [stdout] test run_integration_test::named_bounds_failures/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::named_bounds_lean_failures/anneal.toml                      ... FAILED
[INFO] [stdout] test run_integration_test::named_bounds_validation_failures/anneal.toml                ... FAILED
[INFO] [stdout] test run_integration_test::nested_out_of_line_mod/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::os_arg_limit_exceeded/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::nested_item_error/anneal.toml                               ... FAILED
[INFO] [stdout] test run_integration_test::reject_safe_requires/anneal.toml                            ... FAILED
[INFO] [stdout] test run_integration_test::reject_safe_is_safe/anneal.toml                             ... FAILED
[INFO] [stdout] test run_integration_test::select_bin/anneal.toml                                      ... FAILED
[INFO] [stdout] test run_integration_test::raw_ptr_dst_layout/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::select_lib/anneal.toml                                      ... FAILED
[INFO] [stdout] test run_integration_test::size_of_align_of/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::expand_output/anneal.toml                                   ... FAILED
[INFO] [stdout] test run_integration_test::span_mapping_basic/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::span_multibyte_offsets/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::split_artifact/anneal.toml                                  ... FAILED
[INFO] [stdout] test run_integration_test::success_allow_sorry/anneal.toml                             ... FAILED
[INFO] [stdout] test run_integration_test::multi_artifact/anneal.toml                                  ... FAILED
[INFO] [stdout] test run_integration_test::span_macro_expansion/anneal.toml                            ... FAILED
[INFO] [stdout] test run_integration_test::syntax_error/anneal.toml                                    ... FAILED
[INFO] [stdout] test run_integration_test::target_selection/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::ui_build_script_noise/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::type_features/anneal.toml                                   ... FAILED
[INFO] [stdout] test run_integration_test::ui_hanging_build/anneal.toml                                ... FAILED
[INFO] [stdout] test run_integration_test::map_relative_path/anneal.toml                               ... FAILED
[INFO] [stdout] test run_integration_test::map_std_library/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::lean_edge_cases/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::unions/anneal.toml                                          ... FAILED
[INFO] [stdout] test run_integration_test::unsound_is_valid_error/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::ui_visual_ghosting/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::verify_is_valid_macro/anneal.toml                           ... FAILED
[INFO] [stdout] test run_integration_test::stale_output/anneal.toml                                    ... FAILED
[INFO] [stdout] test run_integration_test::weird_functions/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::warnings_vs_errors/anneal.toml                              ... FAILED
[INFO] [stdout] test run_integration_test::module_resolution/anneal.toml                               ... FAILED
[INFO] [stdout] test run_integration_test::map_std_lib/anneal.toml                                     ... FAILED
[INFO] [stdout] test run_integration_test::multiple_errors/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::ui_the_flood/anneal.toml                                    ... FAILED
[INFO] [stdout] test run_integration_test::success_allow_sorry_is_valid/anneal.toml                    ... FAILED
[INFO] [stdout] test run_integration_test::span_empty_unsafe_block/anneal.toml                         ... FAILED
[INFO] [stdout] test run_integration_test::sizedness/anneal.toml                                       ... FAILED
[INFO] [stdout] test run_integration_test::ui_silent_panic/anneal.toml                                 ... FAILED
[INFO] [stdout] test run_integration_test::edge_cases_cfg/test_7_3_ghost_spec/anneal.toml              ... FAILED
[INFO] [stdout] test run_integration_test::env_interleaved_stdout/anneal.toml                          ... FAILED
[INFO] [stdout] test run_integration_test::stuck_wps/anneal.toml                                       ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::const_block_blind_spot/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::dst_layout/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::anneal_multiple_targets/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::anneal_shim_syntax_error/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::charon_version_match/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::diagnostic_mapping/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::collision/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::canonicalized_workspace/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::duplicate_blocks/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::const_generics/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::cyclic_paths/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::allow_sorry_fallbacks/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_cfg/test_7_1_phantom_fn/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::cfg_blind_spot/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_invariants/test_4_6_assoc_types/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_logic/test_5_4_std_types/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_modules/test_6_1_external_crate/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_mut_refs/test_3_3_ret_mut/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_naming/test_1_2_lean_keywords_args/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_naming/test_1_1_lean_keywords_fns/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_naming/test_1_3_rust_keywords_idents/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_stress/test_11_2_monolith/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_types/test_2_3_zst/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_types/test_2_6_nested_refs/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_types/test_2_7_arrays/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::enums_pattern_matching/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_charon/test_8_2_unions/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::extern_never_verified/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::external_dep_failure/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::hidden_syntax_error/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::generate_output/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::fs_missing_source/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::is_valid_verification/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::idempotency/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::json_code_suggestions/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::associated_types/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_external_dep/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_canonical_mismatch/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_macro_expansion/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_mixed_diagnostics/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::lean_generation/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_path_traversal/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::broken_doc_block/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::json_nested_children/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_workspace_path_dep/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_symlinked_file/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::missing_output/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::json_linker_error/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::mixed_workspace/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_modules/test_6_3_renaming/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::named_bounds_failures/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::named_bounds_lean_failures/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::named_bounds_validation_failures/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::nested_out_of_line_mod/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::os_arg_limit_exceeded/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::nested_item_error/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::reject_safe_requires/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::reject_safe_is_safe/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::select_bin/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::raw_ptr_dst_layout/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::select_lib/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::size_of_align_of/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::expand_output/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::span_mapping_basic/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::span_multibyte_offsets/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::split_artifact/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::success_allow_sorry/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::multi_artifact/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::span_macro_expansion/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::syntax_error/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::target_selection/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::ui_build_script_noise/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::type_features/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::ui_hanging_build/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_relative_path/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_std_library/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::lean_edge_cases/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::unions/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::unsound_is_valid_error/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::ui_visual_ghosting/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::verify_is_valid_macro/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::stale_output/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::weird_functions/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::warnings_vs_errors/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::module_resolution/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::map_std_lib/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::multiple_errors/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::ui_the_flood/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::success_allow_sorry_is_valid/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::span_empty_unsafe_block/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::sizedness/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::ui_silent_panic/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::edge_cases_cfg/test_7_3_ghost_spec/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::env_interleaved_stdout/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] ---- run_integration_test::stuck_wps/anneal.toml ----
[INFO] [stdout] Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     run_integration_test::const_block_blind_spot/anneal.toml
[INFO] [stdout]     run_integration_test::dst_layout/anneal.toml
[INFO] [stdout]     run_integration_test::anneal_multiple_targets/anneal.toml
[INFO] [stdout]     run_integration_test::anneal_shim_syntax_error/anneal.toml
[INFO] [stdout]     run_integration_test::charon_version_match/anneal.toml
[INFO] [stdout]     run_integration_test::diagnostic_mapping/anneal.toml
[INFO] [stdout]     run_integration_test::collision/anneal.toml
[INFO] [stdout]     run_integration_test::canonicalized_workspace/anneal.toml
[INFO] [stdout]     run_integration_test::duplicate_blocks/anneal.toml
[INFO] [stdout]     run_integration_test::const_generics/anneal.toml
[INFO] [stdout]     run_integration_test::cyclic_paths/anneal.toml
[INFO] [stdout]     run_integration_test::allow_sorry_fallbacks/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_cfg/test_7_1_phantom_fn/anneal.toml
[INFO] [stdout]     run_integration_test::cfg_blind_spot/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_invariants/test_4_6_assoc_types/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_logic/test_5_4_std_types/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_modules/test_6_1_external_crate/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_mut_refs/test_3_3_ret_mut/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_naming/test_1_2_lean_keywords_args/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_naming/test_1_1_lean_keywords_fns/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_naming/test_1_3_rust_keywords_idents/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_stress/test_11_2_monolith/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_types/test_2_3_zst/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_types/test_2_6_nested_refs/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_types/test_2_7_arrays/anneal.toml
[INFO] [stdout]     run_integration_test::enums_pattern_matching/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_charon/test_8_2_unions/anneal.toml
[INFO] [stdout]     run_integration_test::extern_never_verified/anneal.toml
[INFO] [stdout]     run_integration_test::external_dep_failure/anneal.toml
[INFO] [stdout]     run_integration_test::hidden_syntax_error/anneal.toml
[INFO] [stdout]     run_integration_test::generate_output/anneal.toml
[INFO] [stdout]     run_integration_test::fs_missing_source/anneal.toml
[INFO] [stdout]     run_integration_test::is_valid_verification/anneal.toml
[INFO] [stdout]     run_integration_test::idempotency/anneal.toml
[INFO] [stdout]     run_integration_test::json_code_suggestions/anneal.toml
[INFO] [stdout]     run_integration_test::associated_types/anneal.toml
[INFO] [stdout]     run_integration_test::map_external_dep/anneal.toml
[INFO] [stdout]     run_integration_test::map_canonical_mismatch/anneal.toml
[INFO] [stdout]     run_integration_test::map_macro_expansion/anneal.toml
[INFO] [stdout]     run_integration_test::map_mixed_diagnostics/anneal.toml
[INFO] [stdout]     run_integration_test::lean_generation/anneal.toml
[INFO] [stdout]     run_integration_test::map_path_traversal/anneal.toml
[INFO] [stdout]     run_integration_test::broken_doc_block/anneal.toml
[INFO] [stdout]     run_integration_test::json_nested_children/anneal.toml
[INFO] [stdout]     run_integration_test::map_workspace_path_dep/anneal.toml
[INFO] [stdout]     run_integration_test::map_symlinked_file/anneal.toml
[INFO] [stdout]     run_integration_test::missing_output/anneal.toml
[INFO] [stdout]     run_integration_test::json_linker_error/anneal.toml
[INFO] [stdout]     run_integration_test::mixed_workspace/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_modules/test_6_3_renaming/anneal.toml
[INFO] [stdout]     run_integration_test::named_bounds_failures/anneal.toml
[INFO] [stdout]     run_integration_test::named_bounds_lean_failures/anneal.toml
[INFO] [stdout]     run_integration_test::named_bounds_validation_failures/anneal.toml
[INFO] [stdout]     run_integration_test::nested_out_of_line_mod/anneal.toml
[INFO] [stdout]     run_integration_test::os_arg_limit_exceeded/anneal.toml
[INFO] [stdout]     run_integration_test::nested_item_error/anneal.toml
[INFO] [stdout]     run_integration_test::reject_safe_requires/anneal.toml
[INFO] [stdout]     run_integration_test::reject_safe_is_safe/anneal.toml
[INFO] [stdout]     run_integration_test::select_bin/anneal.toml
[INFO] [stdout]     run_integration_test::raw_ptr_dst_layout/anneal.toml
[INFO] [stdout]     run_integration_test::select_lib/anneal.toml
[INFO] [stdout]     run_integration_test::size_of_align_of/anneal.toml
[INFO] [stdout]     run_integration_test::expand_output/anneal.toml
[INFO] [stdout]     run_integration_test::span_mapping_basic/anneal.toml
[INFO] [stdout]     run_integration_test::span_multibyte_offsets/anneal.toml
[INFO] [stdout]     run_integration_test::split_artifact/anneal.toml
[INFO] [stdout]     run_integration_test::success_allow_sorry/anneal.toml
[INFO] [stdout]     run_integration_test::multi_artifact/anneal.toml
[INFO] [stdout]     run_integration_test::span_macro_expansion/anneal.toml
[INFO] [stdout]     run_integration_test::syntax_error/anneal.toml
[INFO] [stdout]     run_integration_test::target_selection/anneal.toml
[INFO] [stdout]     run_integration_test::ui_build_script_noise/anneal.toml
[INFO] [stdout]     run_integration_test::type_features/anneal.toml
[INFO] [stdout]     run_integration_test::ui_hanging_build/anneal.toml
[INFO] [stdout]     run_integration_test::map_relative_path/anneal.toml
[INFO] [stdout]     run_integration_test::map_std_library/anneal.toml
[INFO] [stdout]     run_integration_test::lean_edge_cases/anneal.toml
[INFO] [stdout]     run_integration_test::unions/anneal.toml
[INFO] [stdout]     run_integration_test::unsound_is_valid_error/anneal.toml
[INFO] [stdout]     run_integration_test::ui_visual_ghosting/anneal.toml
[INFO] [stdout]     run_integration_test::verify_is_valid_macro/anneal.toml
[INFO] [stdout]     run_integration_test::stale_output/anneal.toml
[INFO] [stdout]     run_integration_test::weird_functions/anneal.toml
[INFO] [stdout]     run_integration_test::warnings_vs_errors/anneal.toml
[INFO] [stdout]     run_integration_test::module_resolution/anneal.toml
[INFO] [stdout]     run_integration_test::map_std_lib/anneal.toml
[INFO] [stdout]     run_integration_test::multiple_errors/anneal.toml
[INFO] [stdout]     run_integration_test::ui_the_flood/anneal.toml
[INFO] [stdout]     run_integration_test::success_allow_sorry_is_valid/anneal.toml
[INFO] [stdout]     run_integration_test::span_empty_unsafe_block/anneal.toml
[INFO] [stderr] error: test failed, to rerun pass `--test integration`
[INFO] [stdout]     run_integration_test::sizedness/anneal.toml
[INFO] [stdout]     run_integration_test::ui_silent_panic/anneal.toml
[INFO] [stdout]     run_integration_test::edge_cases_cfg/test_7_3_ghost_spec/anneal.toml
[INFO] [stdout]     run_integration_test::env_interleaved_stdout/anneal.toml
[INFO] [stdout]     run_integration_test::stuck_wps/anneal.toml
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 1 passed; 95 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ccda3b08c27d349759929d41492ea38aed297f76d60a3f8076570c7672459f35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ccda3b08c27d349759929d41492ea38aed297f76d60a3f8076570c7672459f35", kill_on_drop: false }`
[INFO] [stdout] ccda3b08c27d349759929d41492ea38aed297f76d60a3f8076570c7672459f35
